Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineerin - Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on
نویسنده
چکیده
Discussions of the role of mathematics in software engineering are common and have probably not changed much over the last few decades. There is now much discussion about the “intuitive” nature of software construction and analogies are drawn (falsely) with graphic design, (conventional) architecture, etc. The conclusion is that mathematics is an unnecessary luxury and that, like these other disciplines, it is not needed in everyday practice. We attempt to refute these arguments by recourse to ideas from the Philosophy of Science developed over the past century. We demonstrate why these ideas are applicable, why they establish a framework (in the sense of Carnap) in which many central ideas in software engineering can be formalised and organised, why they refute the simplistic recourse to “intuition”, and why they provide a scient8clengineering pamework in which contributions to the theory and practice of software engineering can be judged.
منابع مشابه
Bridging Academic Software Engineering Education and Industrial Needs
Welcome to the special issue of the Computer Science Education on Software Engineering Education and Training. This special issue of the Computer Science Education includes four of the best education papers of the 23rd International Conference on Software Engineering (ICSE) as well as one invited article presenting ongoing work in Software Engineering Education (SEE). The articles share a commo...
متن کامل"Tolerating Inconsistency" Revisited
We're surrounded by inconsistency: in our requirements, in the data that our software processes, and in those software systems themselves. Yet our formal systems can't handle such inconsistency. Most of them lose the ability to form any valid conclusions or analyses in the presence of even a single inconsistency. This forces our programs to operate in terms of an idealized model rather than the...
متن کاملProceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering
متن کامل
Using Software Component Generators to Contstruct a Meta-Weaver Framework
Several new modularity technologies have been proposed that improve separation of concerns in programming languages. The initial efforts to demonstrate these technologies are usually focused on a single programming language. Since we live in a polyglot world, this proposal addresses the goal of being able to take these new powerful technologies to other languages. The approach uses software gen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004